A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
نویسندگان
چکیده
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or computational
منابع مشابه
A Sorted Semantic Framework for Applied Process Calculi
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...
متن کاملIntensional equality for process calculi based on ε-structures
The subject of the thesis is firstly to add to the understanding of the notion of intensional equality in process setting which is a complementary notion to the extensional equality and secondly to give an intensional set-theoretic semantics for processes in -structures which allows non-well-founded sets for modelling self-reference. The intensional equality allows to distinguish processes by t...
متن کاملSorted Psi-calculi with Generalised Pattern Matching with proofs
Psi-calculi is a formally verified parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. Although this framework in its original form exhibits considerable expressiveness, many applied computational models cannot be directly represented in it. In this paper we extend the applicability of psi-calculi in three ways. Fir...
متن کاملA Tableau Calculus for Partial Functions ?
Even though it is not very often admitted, partial functions do play a signiicant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional lo...
متن کاملSemantic Techniques for Cut-elimination in Higher-order Logics
This paper is part of an ongoing effort to examine the role of extensionality in higher-order logic and provide tools for analyzing higher-order calculi. In an earlier paper, we have presented eight classes of higher order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we have developed a methodology of abstract c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013